package cmu.andersonlab.hardpropagate;

public interface progress_listener {
    void next_problem();
}
